a(1).
b(2).
a(3).
c(10).
b(4).
c(X):-a(X).
b(X):-c(X).
